$\forall$$T$:Type, $R$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$). ($\forall$$x$, $y$:$T$. SqStable($R$($x$,$y$))) $\Rightarrow$ SqStable(Trans($T$;$y$,$x$.$R$($x$,$y$)))